Qué (quién) es Formal Description Technique - definición
WIKIMEDIA DISAMBIGUATION PAGE
Informal; Formal (disambiguation); Informality; Formality (disambiguation); Formal description; The Global Encyclopedia of Informality
Formal Description Technique
<specification, protocol> (FDT) A formal method for
developing telecomunications services and protocols. FDTs
range from abstract to implementation-oriented descriptions.
All FDTs offer the means for producing unambiguous
descriptions of OSI services and protocols in a more
precise and comprehensive way than natural language
descriptions. They provide a foundation for analysis and
verification of a description. The target of analysis and
verification may vary from abstract properties to concrete
properties. Natural language descriptions remain an essential
adjunct to formal description, enabling an unfarmiliar reader
to gain rapid insight into the structure and function of
services and protocols.
Examples of FDTs are LOTOS, Z, SDL, and Estelle.
[ISO/IEC DTR10167: "Guidelines for the application of
Estelle, LOTOS and SDL" ].
(1994-12-06)
Description logic
FAMILY OF FORMAL KNOWLEDGE REPRESENTATION LANGUAGES
Description Logic; Description Logics; Description logics; SHOIN; Concept assertion
Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic.
Land description
LOCATION DESCRIBED IN ORDER TO DELINEATE A SPECIFIC PIECE OF REAL PROPERTY
Legal description
A land description location of the written words which delineate a specific piece of real property. Also known as a "Legal Description".
Wikipedia
Formal
Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to:
